Optimal Train Rescheduling in Oslo Central Station

Real-time train dispatching (i.e., rescheduling and replatforming) in passenger railway stations is a very important and very challenging task. In most major stations, this task is carried out by hand by highly trained dispatchers who use their extensive experience to find near-optimal solutions under most conditions. With several simultaneous deviations from the timetable, however, the traffic situation may become too complex for any human to handle it far beyond finding feasible solutions. As part of a prototype for a dispatching support tool developed in collaboration with Bane NOR (Norwegian rail manager), we develop an approach for Optimal Train Rescheduling in large passenger stations. To allow for replatforming, we extend the standard job-shop scheduling approach to train-scheduling, and we develop and compare different MILP formulations for this extended approach. With this approach, we can find, in just a few seconds, optimal plans for our realistic instances from Oslo Central Station, the largest passenger train hub in Norway. The prototype will be tested by dispatchers in the greater Oslo area, starting from the fall of 2021.publishedVersio

An exact decomposition approach for the real-time Train Dispatching problem (v.2)

-Trains movements on a railway network are regulated by official timetables. Deviations and delays occur quite often in practice, demanding fast re-scheduling and re-routing decisions in order to avoid conflicts and minimize overall delay. This is the real-time train dispatching problem. In contrast with the classic ""holistic"" approach, we show how to decompose the problem into smaller subproblems associated with the line and the stations. The decomposition is the basis for a master-slave solution algorithm, in which the master problem is associated with the line and the slave problem is associated with the stations. The two subproblems are modeled as mixed integer linear programs, with their specific sets of variables and constraints. Similarly to the classical Bender's decomposition approach, the slave and the master communicate through suitable feasibility cuts in the variables of the master. By applying our approach to a number of real-life instances from single and double-track lines in Italy, we were able to (quickly) find optimal or near-optimal solutions, with impressive improvements over the performances of the current operating control systems. The new approach will be put in operation in such lines for an extensive on-field test-campaign as of April 2013. Follows SINTEF Technical Report A2327

Scheduling Vehicles with Spatial Conflicts

When scheduling the movement of individual vehicles on a traffic network, one must ensure that they never get too close to one another. This is normally modelled by segmenting the network and forbidding two vehicles to occupy the same segment at the same time. This approximation is often insufficient or too restraining. This study develops and systematises the use of conflict regions to model spatial proximity constraints. By extending the classical disjunctive programming approach to job-shop scheduling problems, we demonstrate how conflict regions can be exploited to efficiently schedule the collective movements of a set of vehicles, in this case aircraft moving on an airport ground network. We also show how conflict regions can be used in the short-term control of vehicle speeds to avoid collisions and deadlocks. The overall approach was implemented in a software system for air traffic management at airports and successfully evaluated for scheduling and guiding airplanes during an extensive human in the loop simulation exercise for the Budapest airport. Through simulations, we also provide numerical results to assess the computational efficiency of our scheduling algorithm.acceptedVersio

A MILP model for quasi-periodic strategic train timetabling

In railways, the long-term strategic planning is the process of evaluating improvements to the railway network (e.g., upgrading a single track line to a double track line) and changes to the composition/frequency of train services (e.g., adding 1 train per hour along a certain route). The effects of different combinations of infrastructure upgrades and updated train services (also called scenarios), are usually evaluated by creating new feasible timetables followed by extensive simulation. Strategic Train Timetabling (STT) is indeed the task of producing new tentative timetables for these what-if scenarios. Unlike the more classic train timetabling, STT can often overlook (or at least give less importance to) some complementary aspects, such as crew and rolling stock scheduling. On the other hand, the different scenarios are likely to lead to very different timetables, hindering the common and effective practice of using existing timetables to warm start the solution process. We introduce the concept of quasi-periodic timetables, that are timetables where certain subsets of trains need to start at almost (rather than precisely) the same minute of every period. The additional flexibility offered by quasi-periodic timetables turned out to be crucial in real-life scenarios characterized by elevated train traffic. We describe a MILP based approach for strategic quasi-periodic train timetabling and we test it on 4 different realistic what-if scenarios for an important line in Norway. The timetables produced by our algorithm were ultimately used by the Norwegian Railway Directorate to select 3 out of the 4 scenarios for phasing the progressive expansion of the JȪren line.publishedVersio

Polynomial cases of the tarification problem

We consider the problem of determining a set of optimal tariffs for an agent in a network, who owns a subset of the arcs of the network, and who wishes to maximize his revenues on this subset from a set of clients that make use of the network.The general variant of this problem is NP-hard, already with a single client. This paper introduces several new polynomially solvable special cases. An important case is the following.For multiple clients, if the number of tariff arcs is bounded from above, we can solve the problem by a polynomial number of linear programs (each of which is of polynomial size). Furthermore, we show that the parametric tarification problem and the single arc fixed charge tarification problem can be solved in polynomial time.Economics ;